Compositional and behavior-preserving reconfiguration of component connectors in Reo

It is generally accepted that building software out of loosely coupled components, such as in service-oriented systems or mobile networks, yields applications that are more robust against changes and failure of single components than monolithic systems. In order to accommodate for changes in the environment or in the requirements, and anticipate to a component failure, applications are often dynamically adapted by means of a reconfiguration. In this paper, we target the channel-based coordination language Reo and introduce a combined structural and behavioral model for graph-based component connectors in Reo. Exploiting concepts from category theory, we model reconfigurations of connectors as transformations of the underlying connector graphs. We show that our connector model has a compositional semantics and lift structural reconfigurations to the semantical level. As a concrete application of our framework, we introduce a notion of behaviorpreserving reconfiguration for Reo and provide a sufficient condition to ensure behavior-preservation statically. ∗Corresponding author. Email address: [email protected] (Christian Krause) Supported by a research grant of the Hasso Plattner Institute for Software Systems Engineering. Preprint submitted to Journal of Visual Languages and Computing April 27, 2012